s-insert(x;l)
== Case of l; nil  [x] ; a.as, rec:v  if x=a a.as ; x<a [x; a/ as] else a.v fi 

latex

---

clarification:

s-insert(x;l)
== Case of l; nil  x.nil ; a.as, rec:v  if x=a a.as ; x<a [x; a/ as] else a.v fi 

latex

Definitions	i=j, if b t else f fi, i<j
FDL editor aliases	s-insert